Merge branch 'directorylist-monitor' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Wed, 8 Jul 2020 02:25:46 +0000 (02:25 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 8 Jul 2020 02:25:46 +0000 (02:25 +0000)
commit49ce680d5319cce40b5af42e51e8d22185fd5a72
tree1bb09a3d364c65da7339fdc32d6e1644abc8306d
parentf6347f18b019365cdb104cb08d14025aa65a4787
parent463f3d3a52509c89cda77910c20befcb20352c6e
Merge branch 'directorylist-monitor' into 'master'

directorylist: Add monitoring

See merge request GNOME/gtk!2207